David Schmidt (eds.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

The Essence of Computation: Complexity, Analysis, Transformation

The Essence of Computation: Complexity, Analysis, Transformation

Springer-Verlag Berlin Heidelberg

Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 4.61 MB

0 / 0

english, 2002

2

Image-Guided IMRT

Image-Guided IMRT

Springer Berlin Heidelberg

Wilfried De Neve (auth.), Thomas Bortfeld, Rupert Schmidt-Ullrich, Wilfried De Neve, David E. Wazer (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 14.04 MB

0 / 0

english, 2006

3

Reduction in Science: Structure, Examples, Philosophical Problems

Reduction in Science: Structure, Examples, Philosophical Problems

Springer Netherlands

Wolfgang Balzer, David Pearce, Heinz-Jürgen Schmidt (auth.), Wolfgang Balzer, David A. Pearce, Heinz-Jürgen Schmidt (eds.)

წელი:

1984

ენა:

english

ფაილი:

PDF, 11.96 MB

0 / 0

english, 1984

4

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 5.01 MB

0 / 0

english, 2011

5

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 8.33 MB

0 / 0

english, 2004

6

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Martijn H. Vastenburg, Thomas Visser, Marieke Vermaas, David V. Keyson (auth.), Emile Aarts, James L. Crowley, Boris de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 16.55 MB

0 / 0

english, 2008

7

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 3.71 MB

0 / 0

english, 2004

8

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

წელი:

1992

ენა:

english

ფაილი:

DJVU, 4.91 MB

0 / 0

english, 1992

9

Research and Education in Robotics - EUROBOT 2009: International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

Research and Education in Robotics - EUROBOT 2009: International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Kalman Babković, László Nagy, Damir Krklješ (auth.), Achim Gottscheber, David Obdržálek, Colin Schmidt (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.88 MB

0 / 0

english, 2010

10

Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Schmidt (auth.), Alan Mycroft (eds.)

წელი:

1995

ენა:

english

ფაილი:

DJVU, 4.09 MB

0 / 0

english, 1995

11

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 5.57 MB

0 / 0

english, 2012

12

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

R. C. Hardie (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

წელი:

1985

ენა:

english

ფაილი:

PDF, 6.88 MB

0 / 0

english, 1985

13

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 3.97 MB

0 / 0

english, 2004

14

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Martijn H. Vastenburg, Thomas Visser, Marieke Vermaas, David V. Keyson (auth.), Emile Aarts, James L. Crowley, Boris de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 74.10 MB

0 / 0

english, 2008

15

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 5.79 MB

0 / 0

english, 2012

16

Planetary Astrobiology

Planetary Astrobiology

University of Arizona Press

Victoria Meadows, Giada Arney, Britney Schmidt, David J. Des Marais (eds.)

წელი:

2020

ენა:

english

ფაილი:

PDF, 40.51 MB

0 / 0

english, 2020

17

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 3.25 MB

0 / 0

english, 2002

18

Biological Interactions on Materials Surfaces: Understanding and Controlling Protein, Cell, and Tissue Responses

Biological Interactions on Materials Surfaces: Understanding and Controlling Protein, Cell, and Tissue Responses

Springer-Verlag New York

David Richard Schmidt, Heather Waldeck (auth.), David A. Puleo, Rena Bizios (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 2.10 MB

0 / 0

english, 2009

19

Query Processing in Database Systems

Query Processing in Database Systems

Springer-Verlag Berlin Heidelberg

Matthias Jarke, Jürgen Koch, Joachim W. Schmidt (auth.), Dr. Won Kim, Dr. David S. Reiner, Dr. Don S. Batory (eds.)

წელი:

1985

ენა:

english

ფაილი:

PDF, 22.25 MB

0 / 0

english, 1985

20

Socio-technical Design of Ubiquitous Computing Systems

Socio-technical Design of Ubiquitous Computing Systems

Springer International Publishing

Klaus David, Kurt Geihs, Jan Marco Leimeister, Alexander Roßnagel, Ludger Schmidt, Gerd Stumme, Arno Wacker (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 8.67 MB

0 / 0

english, 2014

21

Designing Socially Embedded Technologies in the Real-World

Designing Socially Embedded Technologies in the Real-World

Springer-Verlag London

Volker Wulf, Kjeld Schmidt, David Randall (eds.)

წელი:

2015

ენა:

english

ფაილი:

PDF, 7.11 MB

0 / 0

english, 2015

22

Diophantine Approximation: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

Diophantine Approximation: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

Springer-Verlag Berlin Heidelberg

David Masser, Yuri V. Nesterenko, Hans Peter Schlickewei, Wolfgang Schmidt, Michel Waldschmidt (auth.), Francesco Amoroso, Umberto Zannier (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 2.58 MB

0 / 0

english, 2003

23

Enterprise, Business-Process and Information Systems Modeling: 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

Enterprise, Business-Process and Information Systems Modeling: 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Petia Wohed, David Truffet, Gustaf Juell-Skielse (auth.), Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 10.78 MB

0 / 0

english, 2011

24

Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten

Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten

Springer Vienna

David Hilbert, Erhard Schmidt (auth.), Albrecht Pietsch (eds.)

წელი:

1989

ენა:

german

ფაილი:

PDF, 16.20 MB

0 / 0

german, 1989

25

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 2.30 MB

0 / 0

english, 2002

26

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

T. B. van Wimersma Greidanus, A. B. Grossman (auth.), Professor Dr. David Ottoson, Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

წელი:

1991

ენა:

english

ფაილი:

PDF, 9.78 MB

0 / 0

english, 1991

27

The Essence of Computation: Complexity, Analysis, Transformation

The Essence of Computation: Complexity, Analysis, Transformation

Springer-Verlag Berlin Heidelberg

Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 4.92 MB

0 / 0

english, 2002

28

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

წელი:

1994

ენა:

english

ფაილი:

DJVU, 5.58 MB

0 / 0

english, 1994

29

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 5.50 MB

0 / 0

english, 2009

30

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 5.45 MB

0 / 0

english, 2009

31

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 3.74 MB

0 / 0

english, 2002

32

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 5.74 MB

0 / 0

english, 1996

33

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

N. Mei (auth.), Professor Dr. David Ottoson, Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

წელი:

1983

ენა:

english

ფაილი:

PDF, 7.83 MB

0 / 0

english, 1983

34

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 4.74 MB

0 / 0

english, 2009

35

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 7.68 MB

0 / 0

english, 2011

36

Progress in Sensory Physiology 9

Progress in Sensory Physiology 9

Springer-Verlag Berlin Heidelberg

R. D. Foreman (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis, Professor Dr. David Ottoson (eds.)

წელი:

1989

ენა:

english

ფაილი:

PDF, 6.33 MB

0 / 0

english, 1989

37

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

G. Westheimer (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. Eduard Roy Perl, Professor Dr. Robert F. Schmidt, Professor Dr. David Ottoson (eds.)

წელი:

1981

ენა:

english

ფაილი:

PDF, 6.86 MB

0 / 0

english, 1981

38

Progress in Sensory Physiology 6

Progress in Sensory Physiology 6

Springer-Verlag Berlin Heidelberg

T. Sato (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

წელი:

1986

ენა:

english

ფაილი:

PDF, 17.52 MB

0 / 0

english, 1986

39

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

W. Skrandies (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

წელი:

1987

ენა:

english

ფაილი:

PDF, 4.82 MB

0 / 0

english, 1987